Service basic.diagnose

Description
Diagnose an expression submitted by a student. Possible diagnosis are Buggy (a common misconception was detected), NotEquivalent (something is wrong, but we don't know what), Similar (the expression is pretty similar to the last expression in the derivation), Expected (the submitted expression was anticipated by the strategy), Detour (the submitted expression was not expected by the strategy, but the applied rule was detected), and Correct (it is correct, but we don't know which rule was applied).

Input

• State
• Context
• Id (optional)

Output

• Diagnosis